how do plumbing vent pipes work